In this paper we introduce a new technique of proving undecidability results. This technique is based on the notion of a Thue tree. We also give examples of applications of this method to term rewriting, Horn implication problem and database dependencies.

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of papers (...) which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

It follows from the proved theorems that ifM π=〈Q, ϕ〉 (whereQ={0,q 1,q 2,...,q α}) is a machine of the classM F then there exist α machinesM πi such thatM πi(〈1,c〉)=M π(〈q i,c〉) andQ i={0, 1, 2, ..., α+1} (i=1, 2, ..., α).And thus, if the way in which to an initial function of content of memoryc∈C a machine assigns a final onec′∈C is regarded as the only essential property of the machine then we can deal with the machines of the (...) formM π=〈{0, 1, 2, ..., α}, ϕ〉 and processes π(t) (wheret=〈1,c〉,c∈C) only.Such approach can simplify the problem of defining particular machines of the classM F , composing and simplifying them. (shrink)

This paper is a continuation of Part I under the same title. Its Chapter III contains results given in the following publications: U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131. G. Bryll, Związki logiczne pomiędzy zdaniami nauk empirycznych (Logical relations between sentences of empirical sciences). Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia (...) i Monografie, Nr 22 (1969), 155-216. This chapter contains an attempt to formalize some questions of methodology of empirical sciences. The theory T is enriched here not only by new definitions but also by a new primitive term and new axioms. The most important notion defined in this chapter is the set IndX of all inductive conclusions obtained on the basis of sentences of the set X. The function CnI defined by the equality: CnI X = X u IndX, satisfies the axioms of the general theory of deductive systems. The set CnI X can be understood as a system of empirical sciences in a narrower sense. This paper is a development of the considerations of G. Bryll, included in the above-listed article by this author. (shrink)

A theoretical analysis of the concept of lifetime and mean life of unstable elementary particles is presented. New analytic formulas for lifetime and mean life as a function of decay width Γ and the mass of unstable particle are derived for Breit-Wigner and Matthews-Salam energy distributions. It is demonstrated that, for unstable particles with a larger width or decay energy threshold, the deviation from the generally accepted mean life τ m =Γ −1 is significant. The behavior of the decay law (...) P(t) for small times is analyzed, and it is shown that the Breit-Wigner distribution violates the condition P(t = 0) = 0, whereas the Matthews-Salam distribution satisfies it. (shrink)

This collection of papers consists of mostly previously published articles which develop a scientific research program designed to defend a dynamic view of reality, which is founded on the assumption of the existence of the flow of time. The vindication makes use of a metaphysical theory of the flow of time developed by the author which is based on the notion of dynamic existence. In this book, the author analyzes different aspects of the problem of the flow of time and (...) attempts to show that the reasons for the difficulty with acceptance of its reality may lie in inadequate metaphysics and a wrong approach to relations between metaphysics and physics. The papers are intended to answer such fundamental questions as: What is the origin of dynamics of the world?; What is the origin and nature of time?; What is the origin of the asymmetry (arrow) of time?; Does the flow of time really exist and what it consists in?; Is physics consistent with the existence of the flow of time?; Why don’t we have a physical theory of the flow of time?; What is the relationship between metaphysics and modern physics? The defended position is presented in many aspects—ontological, methodological, and scientific (physical). (shrink)

The article juxtaposes modern skepticism stating lack of the criterion of true beliefs about transcendent reality with respect to their contents, but accepting the assumption about existence and cognoscibility of those contents on the one hand, and — after M. F. Burnyeat — ancient skepticism understood as one that questions this assumption on the other. The doubt as to existence of beliefs — resp. propositions as contents of beliefs — is a link joining ancient skeptics with Wittgenstein. Their skepticism is (...) not - as modern skepticism - an epistemological position, but an ontological one — nominalism — questioning existence of universals that are the conditions of meaning and hence the conditions of truth of propositions. This is why the ancient dispute concerning the truth was in fact a dispute over the problem of universals, i.e. over existence of constant rules deciding which ways of connecting the subject and the predicate in a proposition are right and which are not. Realists referred to such rules, sophists denied their existence, and skeptics stated that without having such a rule at their disposal they do not ha-.: a basis for deciding the dispute between realists and sophists. This does not have much to do either with so-called correspondence concept of the truth or with the modern understanding of conceptual realism talking about \"ideal paradigms\" or \"common properties\" of things. Today\'s typologies of philosophical positions do not fit antiquity. Ch. S. Peirce\'s and D. Armstrong\'s arguments lead to the conclusion that Plato was a... nominalist in the modern meaning of the world. P. T. Geach\'s and N. Wolterstorff s analyses allow stating the same about St Thomas Aquinas. This places under the question mark the statement that the latter could be an advocate of the generally ascribed to him correspondence theory of truth, which also cannot be derived from Aristotle\'s philosophy without any doubts. (shrink)

Background: Magnetic resonance spectroscopic imaging is a neuroimaging technique that may be useful for non-invasive mapping of brain temperature over a large brain volume. To date, intra-subject reproducibility of MRSI-based brain temperature has not been investigated. The objective of this repeated measures MRSI-t study was to establish intra-subject reproducibility and repeatability of brain temperature, as well as typical brain temperature range.Methods: Healthy participants aged 23–46 years were scanned at two time points ~12-weeks apart. Volumetric MRSI data were processed by reconstructing (...) metabolite and water images using parametric spectral analysis. Brain temperature was derived using the frequency difference between water and creatine for 47 regions of interest delineated by the modified Automated Anatomical Labeling atlas. Reproducibility was measured using the coefficient of variation for repeated measures, and repeatability was determined using the standard error of measurement. For each region, the upper and lower bounds of Minimal Detectable Change were established to characterize the typical range of TCRE values.Results: The mean global brain temperature over all subjects was 37.2°C with spatial variations across ROIs. There was a significant main effect for time [F = 37.0, p < 0.0001] and for brain region [F = 2.66, p < 0.0001]. The time*brain region interaction was not significant [F = 0.80, p = 0.83]. Participants' TCRE was stable for each ROI across both time points, with ROIs' COVrep ranging from 0.81 to 3.08% ; majority of ROIs had a COVrep <2.0%.Conclusions: Brain temperature measurements were highly consistent between both time points, indicating high reproducibility and repeatability of MRSI-t. MRSI-t may be a promising diagnostic, prognostic, and therapeutic tool for non-invasively monitoring brain temperature changes in health and disease. However, further studies of healthy participants with larger sample size and numerous repeated acquisitions are imperative for establishing a reference range of typical brain TCRE, as well as the threshold above which TCRE is likely pathological. (shrink)

Das Buch über J. Mirewicz wurde von Slawomir Szczyrba, einem Lehrbeauftragten des Priesterseminars in Łódź, als Doktorarbeit unter der Leitung von Professor Bischof B. Bejze verfaßt. Szczyrba rechnet seine Arbeit der religionsphilosophischen Werken zu. Er will die These nachweisen, daß die Stellung des Menschen gegenüber Gott einen bedeutenden Einfluß auf sein Wertsystem und, in weiterer Folge, auf sein moralisches Benehmen hat. Derselben Meinung war auch Mirewicz. In Hinsicht auf die ethische Implikationen der Bejahung Gottes gehört das Hauptthema der vielartigen Tätigkeiten (...) Mirewicz's zu der immerwährend aktuellen und offenstehenden Frage nach der Selbständigkeit der Ethik. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:“We all love with the same part of the body, don’t we?”Iuliia Voznesenskaia’s Zhenskii Dekameron, New Women’s Prose, and French Feminist TheoryYelena Furman (bio)Starting out as a poet who eventually turned to fiction, Iuliia Voznesenskaia was also one of the main figures of the Soviet feminist movement, a fact that makes her biography both unusual and courageous. In the 1970s, Voznesenskaia’s involvement with the dissident movement in Leningrad resulted (...) in several arrests, imprisonment, and time in the camps.1 Although she was not initially interested in women’s issues, her incarceration in all-women’s camps and prisons convinced her that “the situation of women in our country demands special attention” (“Zhenskoe dvizhenie v Rossii” [“The Women’s Movement in Russia”] 41). Along with several other women dissidents, she founded the Soviet feminist movement, putting out the samizdat women’s journal Zhenshchina i Rossiia (Woman and Russia), which precipitated immediate reprisals from the KGB. A women’s club, Mariia, and a journal by the same name followed, as did more KGB reprisals. For her feminist activity, Voznesenskaia was expelled from the Soviet Union in 1980, settling in West Germany.2In 1985, in West Germany, Voznesenskaia wrote her first and best-known novel, Zhenskii Dekameron (The Women’s Decameron). The novel is set in a Leningrad maternity ward containing ten new mothers from different backgrounds with different life experiences: Larisa, Emma, Natasha, Nelia, Galina, and Valentina are educated and all have careers except Galina, whose occupation, admittedly strange for a feminist novel, seems to be a dissident’s wife; Ol’ga works in a shipyard; Irishka is a secretary; Al’bina is an Aeroflot flight attendant doubling as an escort on the KGB’s payroll; Zina is homeless and has served time in the camps; Valentina is a Party worker, whereas Galina is part of the dissident community. Quarantined together for ten days because of a spreading infection and inspired by Emma’s reading of Boccaccio’s Decameron, the women begin to tell each other stories to pass the time. As its title makes clear, Voznesenskaia’s novel is heavily indebted to Boccaccio’s, borrowing its structure and many of its themes, such as an emphasis on storytelling and sexual explicitness. The humor and poignancy of the women’s stories make it a highly enjoyable read, and the focus on female sexuality and the author’s play with the narrative set this novel apart from other Soviet writers’ works.3 The novel also features what is surely a unique occurrence in Russian and Soviet literature: an openly feminist character (Larisa), referred to by the authornarrator as “zhenshchinoi vpolne emansipirovannoi, mogushchei ukrasit’ soboi liuboe zapadnoe feministicheskoe obshchestvo” [“a completely emancipated woman, capable [End Page 95] of adorning any Western feminist group”] (13), who is moreover depicted in a wholly positive light.4Yet despite enjoying a modicum of success, including being translated into several languages and staged as a play, Zhenskii Dekameron remains an under-read and underrated work.5 The reasons for its relative obscurity are closely allied with Voznesenskaia’s political activities in the 1980s. Exiled abroad for being politically undesirable to Soviet authorities, she could not have her work published in the Soviet Union; rather, the novel came out in Russian in Israel in 1987 (Curtis 186n2).6 The lack of visibility from which she suffered in her native country changed only in the (post)glasnost’ period: in 1991, the novel was published in Russian in Tallinn, and in 1992, in Moscow.7 Despite being able to be published, however, Zhenskii Dekameron seems not to have made a strong impact on either readers or critics, and there does not appear to be any discussion of it in Soviet/ Russian literary journals.The novel likewise suffers from a lack of familiarity in the West. The interest Voznesenskaia generated among Western European and American feminists in the early 1980s was for her feminist activism in the Soviet Union, which preceded her novel writing. Zhenskii Dekameron seems to have made a modest impact on readers; scholars, too, discuss it only occasionally. The most comprehensive treatment of the work to date has been Jerzy Kolodziej... (shrink)

In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it (...) could be true. If it was considered yesterday, it could be false. 1 The operator enables us to connect any sentence p with any temporal context t. Such a complex sentence we read as: a sentence p is realized at a temporal context t (a point of time, an interval of some kind, etc). (shrink)

The world appears to conscious creatures in terms of experienced sensory qualities, but science doesn't find sensory experience in that world, only physical objects and properties. I argue that the failure to locate consciousness in the world is a function of our necessarily representational relation to reality as knowers: we won't discover the terms in which reality is represented by us in the world as it appears in those terms. Qualia -- arguably a type of representational content -- will therefore (...) not be found in the physical world as characterized in experience or science. Instead, consciousness constitutes a subjective, representational reality for cognitive systems such as ourselves, and the physical world is a represented objective reality. I suggest that naturalistic approaches to explaining consciousness should acknowledge the non-objectivity of experience, and be constrained by evidence that consciousness accompanies certain sorts of behaviour-controlling representational functions carried out by complex, physically instantiated mind-systems. I evaluate a variety of current hypotheses about consciousness, and suggest that a mature science of representation may help explain why, perhaps as matter of representational necessity, experience arises as a natural but not objectively discoverable phenomenon. (shrink)

This article will try to indicate the most important theories which constitute the modern paradigm of the war. The theory of the war is an important issue in political philosophy because it accentuates how the boundaries of the existence and the functioning of the state are drawn. Seeking works that form the basis of the paradigm, one should begin with presenting a specific structure of the theory proposed by T. Kuhn. On this basis the article will be divided into three (...) parts. The first part is focused on the construction of Kuhn’s scientific paradigm. Additionally in order to prove the meaningful use of paradigmatic structure in issues connected to humanities and philosophy Giorgio Agamben thesis will also be presented. The next part will expose the main elements of Carl von Clausewitz's theory of war. The most important of these is an assumption that war is the continuation of political action that seeks to compel the enemy to fulfill “our will”. The second element to be tested will be a political concept of Carl Schmitt along with its specific categories of the enemy and the friend. The second element to be tested will be Carl Schmitt’s the Concept of the political with its specific categories: the enemy and the friend. The third part of the paper will present the concept of Jerzy Wiatr. Its task will be to supplement the paradigm by showing that the parties of the war may be a “political community” and not only the state. This will help to extend the applicability of the paradigm in various fields of the social sciences. The ultimate aim will be to convince the reader that these theories are the most important part of the paradigm. Moreover, there is a high probability that they became the basis for the modern paradigm of the war. (shrink)

Contents: Preface. SCIENTIFIC WORKS OF MARIA STEFFEN-BATÓG AND TADEUSZ BATÓG. List of Publications of Maria Steffen-Batóg. List of Publications of Tadeusz Batóg. Jerzy POGONOWSKI: On the Scientific Works of Maria Steffen-Batóg. Jerzy POGONOWSKI: On the Scientific Works of Tadeusz Batóg. W??l??odzimierz LAPIS: How Should Sounds Be Phonemicized? Pawe??l?? NOWAKOWSKI: On Applications of Algorithms for Phonetic Transcription in Linguistic Research. Jerzy POGONOWSKI: Tadeusz Batóg's Phonological Systems. MATHEMATICAL LOGIC. Wojciech BUSZKOWSKI: Incomplete Information Systems and Kleene 3-valued Logic. Maciej KANDULSKI: (...) Categorial Grammars with Structural Rules. Miros??l??awa KO??L??OWSKA-GAWIEJNOWICZ: Labelled Deductive Systems for the Lambek Calculus. Roman MURAWSKI: Satisfaction Classes - a Survey. Kazimierz _WIRYDOWICZ: A New Approach to Dyadic Deontic Logic and the Normative Consequence Relation. Wojciech ZIELONKA: More about the Axiomatics of the Lambek Calculus. THEORETICAL LINGUISTICS. Jacek Juliusz JADACKI: Troubles with Categorial Interpretation of Natural Language. Maciej KARPI??N??SKI: Conversational Devices in Human-Computer Communication Using WIMP UI. Witold MACIEJEWSKI: Qualitative Orientation and Grammatical Categories. Zygmunt VETULANI: A System of Computer Understanding of Texts. Andrzej WÓJCIK: The Formal Development of van Sandt's Presupposition Theory. W??l??adys??l??aw ZABROCKI: Psychologism in Noam Chomsky's Theory . Ryszard ZUBER: Defining Presupposition without Negation. PHILOSOPHY OF LANGUAGE AND METHODOLOGY OF SCIENCES. Jerzy KMITA: Philosophical Antifundamentalism. Anna LUCHOWSKA: Peirce and Quine: Two Views on Meaning. Stefan WIERTLEWSKI: Method According to Feyerabend. Jan WOLE??N??SKI: Wittgenstein and Ordinary Language. Krystyna ZAMIARA: Context of Discovery - Context of Justification and the Problem of Psychologism. (shrink)

Students of the history of ethics sometimes find themselves tempted by moderate or extreme versions of an approach that might roughly be called ‘historicist’. This temptation may result from the difficulties of approaching historical texts from a ‘narrowly philosophical’ point of view. We may begin, for instance, by wanting to know what Aristotle has to say about ‘the problems of ethics’, so that we can compare his views with those of Aquinas, Hume, Kant, Sidgwick, and Rawls, and then decide what (...) is true or false in each theorist's position. But this narrowly philosophical attitude soon runs into difficulties, and writers on the history of ethics often warn us against it. (shrink)

This is the one and only book by the pioneer of the identity theory of mind. The collection focuses on Place's philosophy of mind and his contributions to neighboring issues in metaphysics and epistemology. It includes an autobiographical essay as well as a recent paper on the function and neural location of consciousness.

Bhattacharyya, K. The Advaita concept of subjectivity.--Deutsch, E. Reflections on some aspects of the theory of rasa.--Nakamura, H. The dawn of modern thought in the East.--Organ, T. Causality, Indian and Greek.--Chatterjee, M. On types of classification.--Lacombe, O. Transcendental imagination.--Bahm, A. J. Standards for comparative philosophy.--Herring, H. Appearance, its significance and meaning in the history of philosophy.--Chang Chung-yuan. Pre-rational harmony in Heidegger's essential thinking and Chʼan thought.--Staal, J. F. Making sense of the Buddhist tetralemma.--Enomiya-Lassalle, H. M. The mysticism of Carl Albrecht (...) and Zen.--Parrinder, G. The nature of mysticism.--Cairns, G. E. Axiological contributions of East and West to the spiritual development of mankind.--Mayeda, S. Śaṇkara's view of ethics.--Mercier, A. On peace.--Barlingay, S. S. A discussion of some aspects of Gaudapāda's philosophy. (shrink)

Work on Nyaya philosophy; includes Siddhāntamuktāvalī autocommentary and Dinakarī of Dinakarabhaṭṭa, 18th cent.

Martin Heidegger's explication of Pindar's assertion that ‘to glorify was the essence of poetry’ puts it quite well. He tells us that for Pindar the word does not derive its force from what is already complete in itself. For then man would be glorifying what is already glorious, that which already has the power to impress men. At best the word then would denote an acknowledgment or a confession of being impressed. Instead, he insists, the word denotes the power of (...) making to appear, or to extol a place. 1. (shrink)

In this paper I shall examine a variety of situations in which human agents make use of force. Section I will be concerned with the use of force in medical contexts, Section Ii with the use of force in defence of property, and Section in with the use of force in resolving international disputes. I shall argue that the boundary between what is and is not morally permissible needs to be, drawn more stringently than is commonly supposed. While agreeing that (...) in some medical contexts and in some situations where defence of property is involved the use of force may be necessary and even morally required, I shall suggest that in the absence of any suitably constituted world court the use of force in attempting to resolve international disputes creates a morally different situation. (shrink)